The calc package Infix notation arithmetic in LaTeX
نویسندگان
چکیده
The calc package reimplements the LTEX commands \setcounter, \addtocounter, \setlength, and \addtolength. Instead of a simple value, these commands now accept an infix notation expression.
منابع مشابه
LATEX2ε, pict2e and complex numbers
In 2003 the endless list of LATEX packages was enriched by the package pict2e, intended to substitute for the dummy one that has accompanied every LATEX distribution since 1994. This package implements everything as stated by Lamport in the second edition of his LATEX manual (for LATEX2ε). But if you explore the inner workings of the new pict2e, you discover the new package has some unexpected ...
متن کاملAn Exact Arithmetic Package for Ml
We present the design and implementation of an exact rational arithmetic package for the programming language Caml, an ML dialect close to the original LCF-ML. Our arithmetic, written almost entirely in Caml, combines eeciency, power and exibility. For eeciency reasons, the package provides several diier-ent basic types to represent numbers, and to reinforce exibility, it implements many functi...
متن کاملTeaching natural deduction in the right order with Natural Deduction Planner
We describe a strategy-based approach to teaching natural deduction using a notation that emphasises the order in which deductions are constructed, together with a LATEX package and Java app to aid in the production of teaching resources and classroom demonstrations. Our approach is aimed at students with little exposure to mathematical method and has been developed while teaching undergraduate...
متن کاملBijlage 9 ArabTEX — Typesetting Arabic with Vowels and Ligatures
We present a TEX macro package for generating the arabic writing from a standardized ASCII input notation. It can handle partial or full vocalization, and generates automatically most of the common ligatures. There is limited support for Farsi, Urdu, and Pashto. ArabTEX is compatible with Plain TEX and also most LATEX environments; arabic and other material can be mixed freely. For special purp...
متن کاملOn a GUI-based Editor for Z Specifications and its Applications
There are some problems to describe the formal Z notation using a standard text editor. One of the reasons is to use the non-standard fonts and the special symbols in the Z notation, then making it difficult to write Z documents. This paper presents a solution to such problems. A prototype on a GUI-based editor for Z specifications, named ZEditor, is developed and improved. Using ZEditor, Z doc...
متن کامل